supplied-by : u>= ( u1 u2 -- flag )  u< 0= ;
